21. The Nowhere Bible :
پدیدآورنده : Uhlenbruch, Frauke
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hebrew Bible; Biblical Studies; Sociology; Ideal Type; Utopia; Dystopia; Science Fiction; Literary theory; Postcolonialism; Risk Society
22. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
23. The theory of logical types
پدیدآورنده : / by Irving M. Copi
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Type theory
رده :
160
Co-T
24. The theory of logical types
پدیدآورنده : Copi, Irving M.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Type theory
رده :
BC
199
.
T9C66
25. Twenty-five years of constructive type theory :
پدیدآورنده : edited by Giovanni Sambin and Jan M. Smith
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Type theory, Congresses
رده :
QA9
.
A1
T94
1998
26. Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
پدیدآورنده : edited by Giovanni Sambin and Jan M. Smith
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Type theory
رده :
QA
9
.
A1C66
1995
27. Type-2 fuzzy logic:Theory and applications
پدیدآورنده : / Oscar Castillo,Patrica Melin
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Fuzzy logic,Type Theory
رده :
511
.
313
C352t
28. Type logical grammar :
پدیدآورنده : by Glyn V. Morrill.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
29. Type theory and formal proof :
پدیدآورنده : Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Type theory
رده :
QA9
.
N37
2014
30. Type theory and functional programming /
پدیدآورنده : Simon Thompson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science),Type theory
رده :
QA76
.
62
.
T46
1991
31. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
پدیدآورنده : Eduardo Gimenez, Christine Paulin-Mohring )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1512
32. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
33. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
34. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
